Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (1)Реферативна база даних (8)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Максимец А$<.>)
Загальна кількість знайдених документів : 8
Представлено документи з 1 до 8
1.

Максимец А. Н. 
Верификация программ: состояние, проблемы, экспериментальные результаты. I [Електронний ресурс] / А. Н. Максимец // Проблеми програмування. - 2013. - № 4. - С. 53-63. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2013_4_7
Попередній перегляд:   Завантажити - 575.88 Kb    Зміст випуску     Цитування
2.

Максимец А. Н. 
Верификация программ: состояние, проблемы, экспериментальные результаты. II [Електронний ресурс] / А. Н. Максимец // Проблеми програмування. - 2014. - № 1. - С. 76-89. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_1_9
Попередній перегляд:   Завантажити - 976.419 Kb    Зміст випуску     Цитування
3.

Крывый С. Л. 
Разработка и обоснование алгоритмов на основе семантических свойств [Електронний ресурс] / С. Л. Крывый, А. Н. Максимец // Проблеми програмування. - 2014. - № 2-3. - С. 151-159. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_20
Приведены примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма.
Попередній перегляд:   Завантажити - 750.176 Kb    Зміст випуску    Реферативна БД     Цитування
4.

Крывый С. Л. 
Верификация программ: состояние, проблемы, результаты. I [Електронний ресурс] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. - 2013. - Т. 49, № 6. - С. 3-14. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2013_49_6_2
Попередній перегляд:   Завантажити - 137.201 Kb    Зміст випуску     Цитування
5.

Максимец А. Н. 
Поиск программных инвариантов в виде полиномов [Електронний ресурс] / А. Н. Максимец // Доповіді Національної академії наук України. - 2013. - № 9. - С. 44-50. - Режим доступу: http://nbuv.gov.ua/UJRN/dnanu_2013_9_9
Приведено решение проблемы поиска инвариантов программ в виде полиномиальных зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и векторными пространствами данных, адаптирован для кольца полиномов. Множество инвариантов в этом случае представляется в виде идеала кольца полиномов. Решены задачи о соотношениях и о пересечении множеств инвариантов с использованием базисов Гребнера при условии невырожденности оператора присваивания.
Попередній перегляд:   Завантажити - 173.62 Kb    Зміст випуску    Реферативна БД     Цитування
6.

Гломозда Д. К. 
Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками [Електронний ресурс] / Д. К. Гломозда, Н. Н. Глибовец, А. Н. Максимец // Кибернетика и системный анализ. - 2018. - Т. 54, № 4. - С. 151-163. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2018_54_4_15
Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм поиска усеченного множества решений уравнения состояния сети Петри, которое записывается в виде систем линейных однородных диофантовых уравнений. Работоспособность алгоритма продемонстрирована на примере цветной сети Петри, моделирующей работу грид-системы. Эквивалентность сетевых моделей проверена путем построения и анализа эквивалентных им конечных автоматов.
Попередній перегляд:   Завантажити - 640.927 Kb    Зміст випуску    Реферативна БД     Цитування
7.

Кучер Г. Ю. 
Мобильная клиника: роль выездных бригад врачей-специалистов в оказании комплексной медицинской помощи населению, проживающему в сельской местности [Електронний ресурс] / Г. Ю. Кучер, В. В. Зинюков, О. Г. Терлюк, А. В. Максимец, В. Н. Залесский // Лікарська справа. - 2012. - № 1-2. - С. 128-132. - Режим доступу: http://nbuv.gov.ua/UJRN/LiSp_2012_1-2_20
Попередній перегляд:   Завантажити - 103.252 Kb    Зміст випуску     Цитування
8.

Крывый С. Л. 
Верификация программ: состояние, проблемы, результаты. II [Електронний ресурс] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. - 2014. - Т. 50, № 1. - С. 11-20. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2014_50_1_3
Попередній перегляд:   Завантажити - 142.442 Kb    Зміст випуску     Цитування
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського